1. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
